#include <list>

#include <ComboReduct/combo/vertex.h>
#include <ComboReduct/combo/type_tree.h>
#include <ComboReduct/reduct/reduct.h>

namespace pleasure {
    typedef std::list<combo::vtree> population;
    
    void reduce(population& pop, combo::arity_t arg_num, const reduct::rule& reduction_rule);

    void erase_duplicate(population& pop);
}
